3.84 \(\int \frac{\sqrt{a+\frac{c}{x^2}+\frac{b}{x}} \sqrt{d+e x}}{x} \, dx\)

Optimal. Leaf size=929 \[ \frac{3 \sqrt{b^2-4 a c} \sqrt{a+\frac{b}{x}+\frac{c}{x^2}} x \sqrt{d+e x} \sqrt{-\frac{a \left (a x^2+b x+c\right )}{b^2-4 a c}} E\left (\sin ^{-1}\left (\frac{\sqrt{\frac{b+2 a x+\sqrt{b^2-4 a c}}{\sqrt{b^2-4 a c}}}}{\sqrt{2}}\right )|-\frac{2 \sqrt{b^2-4 a c} e}{2 a d-\left (b+\sqrt{b^2-4 a c}\right ) e}\right )}{\sqrt{2} \sqrt{\frac{a (d+e x)}{2 a d-\left (b+\sqrt{b^2-4 a c}\right ) e}} \left (a x^2+b x+c\right )}-\frac{3 \sqrt{2} \sqrt{b^2-4 a c} d \sqrt{a+\frac{b}{x}+\frac{c}{x^2}} x \sqrt{\frac{a (d+e x)}{2 a d-\left (b+\sqrt{b^2-4 a c}\right ) e}} \sqrt{-\frac{a \left (a x^2+b x+c\right )}{b^2-4 a c}} F\left (\sin ^{-1}\left (\frac{\sqrt{\frac{b+2 a x+\sqrt{b^2-4 a c}}{\sqrt{b^2-4 a c}}}}{\sqrt{2}}\right )|-\frac{2 \sqrt{b^2-4 a c} e}{2 a d-\left (b+\sqrt{b^2-4 a c}\right ) e}\right )}{\sqrt{d+e x} \left (a x^2+b x+c\right )}+\frac{2 \sqrt{2} \sqrt{b^2-4 a c} (a d+b e) \sqrt{a+\frac{b}{x}+\frac{c}{x^2}} x \sqrt{\frac{a (d+e x)}{2 a d-\left (b+\sqrt{b^2-4 a c}\right ) e}} \sqrt{-\frac{a \left (a x^2+b x+c\right )}{b^2-4 a c}} F\left (\sin ^{-1}\left (\frac{\sqrt{\frac{b+2 a x+\sqrt{b^2-4 a c}}{\sqrt{b^2-4 a c}}}}{\sqrt{2}}\right )|-\frac{2 \sqrt{b^2-4 a c} e}{2 a d-\left (b+\sqrt{b^2-4 a c}\right ) e}\right )}{a \sqrt{d+e x} \left (a x^2+b x+c\right )}-\frac{(b d+c e) \sqrt{2 a d-\left (b-\sqrt{b^2-4 a c}\right ) e} \sqrt{a+\frac{b}{x}+\frac{c}{x^2}} x \sqrt{1-\frac{2 a (d+e x)}{2 a d-\left (b-\sqrt{b^2-4 a c}\right ) e}} \sqrt{1-\frac{2 a (d+e x)}{2 a d-\left (b+\sqrt{b^2-4 a c}\right ) e}} \Pi \left (\frac{2 a d-b e+\sqrt{b^2-4 a c} e}{2 a d};\sin ^{-1}\left (\frac{\sqrt{2} \sqrt{a} \sqrt{d+e x}}{\sqrt{2 a d-\left (b-\sqrt{b^2-4 a c}\right ) e}}\right )|\frac{b-\sqrt{b^2-4 a c}-\frac{2 a d}{e}}{b+\sqrt{b^2-4 a c}-\frac{2 a d}{e}}\right )}{\sqrt{2} \sqrt{a} d \left (a x^2+b x+c\right )}-\sqrt{a+\frac{b}{x}+\frac{c}{x^2}} \sqrt{d+e x} \]

[Out]

-(Sqrt[a + c/x^2 + b/x]*Sqrt[d + e*x]) + (3*Sqrt[b^2 - 4*a*c]*Sqrt[a + c/x^2 + b
/x]*x*Sqrt[d + e*x]*Sqrt[-((a*(c + b*x + a*x^2))/(b^2 - 4*a*c))]*EllipticE[ArcSi
n[Sqrt[(b + Sqrt[b^2 - 4*a*c] + 2*a*x)/Sqrt[b^2 - 4*a*c]]/Sqrt[2]], (-2*Sqrt[b^2
 - 4*a*c]*e)/(2*a*d - (b + Sqrt[b^2 - 4*a*c])*e)])/(Sqrt[2]*Sqrt[(a*(d + e*x))/(
2*a*d - (b + Sqrt[b^2 - 4*a*c])*e)]*(c + b*x + a*x^2)) - (3*Sqrt[2]*Sqrt[b^2 - 4
*a*c]*d*Sqrt[a + c/x^2 + b/x]*x*Sqrt[(a*(d + e*x))/(2*a*d - (b + Sqrt[b^2 - 4*a*
c])*e)]*Sqrt[-((a*(c + b*x + a*x^2))/(b^2 - 4*a*c))]*EllipticF[ArcSin[Sqrt[(b +
Sqrt[b^2 - 4*a*c] + 2*a*x)/Sqrt[b^2 - 4*a*c]]/Sqrt[2]], (-2*Sqrt[b^2 - 4*a*c]*e)
/(2*a*d - (b + Sqrt[b^2 - 4*a*c])*e)])/(Sqrt[d + e*x]*(c + b*x + a*x^2)) + (2*Sq
rt[2]*Sqrt[b^2 - 4*a*c]*(a*d + b*e)*Sqrt[a + c/x^2 + b/x]*x*Sqrt[(a*(d + e*x))/(
2*a*d - (b + Sqrt[b^2 - 4*a*c])*e)]*Sqrt[-((a*(c + b*x + a*x^2))/(b^2 - 4*a*c))]
*EllipticF[ArcSin[Sqrt[(b + Sqrt[b^2 - 4*a*c] + 2*a*x)/Sqrt[b^2 - 4*a*c]]/Sqrt[2
]], (-2*Sqrt[b^2 - 4*a*c]*e)/(2*a*d - (b + Sqrt[b^2 - 4*a*c])*e)])/(a*Sqrt[d + e
*x]*(c + b*x + a*x^2)) - ((b*d + c*e)*Sqrt[2*a*d - (b - Sqrt[b^2 - 4*a*c])*e]*Sq
rt[a + c/x^2 + b/x]*x*Sqrt[1 - (2*a*(d + e*x))/(2*a*d - (b - Sqrt[b^2 - 4*a*c])*
e)]*Sqrt[1 - (2*a*(d + e*x))/(2*a*d - (b + Sqrt[b^2 - 4*a*c])*e)]*EllipticPi[(2*
a*d - b*e + Sqrt[b^2 - 4*a*c]*e)/(2*a*d), ArcSin[(Sqrt[2]*Sqrt[a]*Sqrt[d + e*x])
/Sqrt[2*a*d - (b - Sqrt[b^2 - 4*a*c])*e]], (b - Sqrt[b^2 - 4*a*c] - (2*a*d)/e)/(
b + Sqrt[b^2 - 4*a*c] - (2*a*d)/e)])/(Sqrt[2]*Sqrt[a]*d*(c + b*x + a*x^2))

_______________________________________________________________________________________

Rubi [A]  time = 7.19342, antiderivative size = 929, normalized size of antiderivative = 1., number of steps used = 16, number of rules used = 11, integrand size = 29, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.379 \[ \frac{3 \sqrt{b^2-4 a c} \sqrt{a+\frac{b}{x}+\frac{c}{x^2}} x \sqrt{d+e x} \sqrt{-\frac{a \left (a x^2+b x+c\right )}{b^2-4 a c}} E\left (\sin ^{-1}\left (\frac{\sqrt{\frac{b+2 a x+\sqrt{b^2-4 a c}}{\sqrt{b^2-4 a c}}}}{\sqrt{2}}\right )|-\frac{2 \sqrt{b^2-4 a c} e}{2 a d-\left (b+\sqrt{b^2-4 a c}\right ) e}\right )}{\sqrt{2} \sqrt{\frac{a (d+e x)}{2 a d-\left (b+\sqrt{b^2-4 a c}\right ) e}} \left (a x^2+b x+c\right )}-\frac{3 \sqrt{2} \sqrt{b^2-4 a c} d \sqrt{a+\frac{b}{x}+\frac{c}{x^2}} x \sqrt{\frac{a (d+e x)}{2 a d-\left (b+\sqrt{b^2-4 a c}\right ) e}} \sqrt{-\frac{a \left (a x^2+b x+c\right )}{b^2-4 a c}} F\left (\sin ^{-1}\left (\frac{\sqrt{\frac{b+2 a x+\sqrt{b^2-4 a c}}{\sqrt{b^2-4 a c}}}}{\sqrt{2}}\right )|-\frac{2 \sqrt{b^2-4 a c} e}{2 a d-\left (b+\sqrt{b^2-4 a c}\right ) e}\right )}{\sqrt{d+e x} \left (a x^2+b x+c\right )}+\frac{2 \sqrt{2} \sqrt{b^2-4 a c} (a d+b e) \sqrt{a+\frac{b}{x}+\frac{c}{x^2}} x \sqrt{\frac{a (d+e x)}{2 a d-\left (b+\sqrt{b^2-4 a c}\right ) e}} \sqrt{-\frac{a \left (a x^2+b x+c\right )}{b^2-4 a c}} F\left (\sin ^{-1}\left (\frac{\sqrt{\frac{b+2 a x+\sqrt{b^2-4 a c}}{\sqrt{b^2-4 a c}}}}{\sqrt{2}}\right )|-\frac{2 \sqrt{b^2-4 a c} e}{2 a d-\left (b+\sqrt{b^2-4 a c}\right ) e}\right )}{a \sqrt{d+e x} \left (a x^2+b x+c\right )}-\frac{(b d+c e) \sqrt{2 a d-\left (b-\sqrt{b^2-4 a c}\right ) e} \sqrt{a+\frac{b}{x}+\frac{c}{x^2}} x \sqrt{1-\frac{2 a (d+e x)}{2 a d-\left (b-\sqrt{b^2-4 a c}\right ) e}} \sqrt{1-\frac{2 a (d+e x)}{2 a d-\left (b+\sqrt{b^2-4 a c}\right ) e}} \Pi \left (\frac{2 a d-b e+\sqrt{b^2-4 a c} e}{2 a d};\sin ^{-1}\left (\frac{\sqrt{2} \sqrt{a} \sqrt{d+e x}}{\sqrt{2 a d-\left (b-\sqrt{b^2-4 a c}\right ) e}}\right )|\frac{b-\sqrt{b^2-4 a c}-\frac{2 a d}{e}}{b+\sqrt{b^2-4 a c}-\frac{2 a d}{e}}\right )}{\sqrt{2} \sqrt{a} d \left (a x^2+b x+c\right )}-\sqrt{a+\frac{b}{x}+\frac{c}{x^2}} \sqrt{d+e x} \]

Antiderivative was successfully verified.

[In]  Int[(Sqrt[a + c/x^2 + b/x]*Sqrt[d + e*x])/x,x]

[Out]

-(Sqrt[a + c/x^2 + b/x]*Sqrt[d + e*x]) + (3*Sqrt[b^2 - 4*a*c]*Sqrt[a + c/x^2 + b
/x]*x*Sqrt[d + e*x]*Sqrt[-((a*(c + b*x + a*x^2))/(b^2 - 4*a*c))]*EllipticE[ArcSi
n[Sqrt[(b + Sqrt[b^2 - 4*a*c] + 2*a*x)/Sqrt[b^2 - 4*a*c]]/Sqrt[2]], (-2*Sqrt[b^2
 - 4*a*c]*e)/(2*a*d - (b + Sqrt[b^2 - 4*a*c])*e)])/(Sqrt[2]*Sqrt[(a*(d + e*x))/(
2*a*d - (b + Sqrt[b^2 - 4*a*c])*e)]*(c + b*x + a*x^2)) - (3*Sqrt[2]*Sqrt[b^2 - 4
*a*c]*d*Sqrt[a + c/x^2 + b/x]*x*Sqrt[(a*(d + e*x))/(2*a*d - (b + Sqrt[b^2 - 4*a*
c])*e)]*Sqrt[-((a*(c + b*x + a*x^2))/(b^2 - 4*a*c))]*EllipticF[ArcSin[Sqrt[(b +
Sqrt[b^2 - 4*a*c] + 2*a*x)/Sqrt[b^2 - 4*a*c]]/Sqrt[2]], (-2*Sqrt[b^2 - 4*a*c]*e)
/(2*a*d - (b + Sqrt[b^2 - 4*a*c])*e)])/(Sqrt[d + e*x]*(c + b*x + a*x^2)) + (2*Sq
rt[2]*Sqrt[b^2 - 4*a*c]*(a*d + b*e)*Sqrt[a + c/x^2 + b/x]*x*Sqrt[(a*(d + e*x))/(
2*a*d - (b + Sqrt[b^2 - 4*a*c])*e)]*Sqrt[-((a*(c + b*x + a*x^2))/(b^2 - 4*a*c))]
*EllipticF[ArcSin[Sqrt[(b + Sqrt[b^2 - 4*a*c] + 2*a*x)/Sqrt[b^2 - 4*a*c]]/Sqrt[2
]], (-2*Sqrt[b^2 - 4*a*c]*e)/(2*a*d - (b + Sqrt[b^2 - 4*a*c])*e)])/(a*Sqrt[d + e
*x]*(c + b*x + a*x^2)) - ((b*d + c*e)*Sqrt[2*a*d - (b - Sqrt[b^2 - 4*a*c])*e]*Sq
rt[a + c/x^2 + b/x]*x*Sqrt[1 - (2*a*(d + e*x))/(2*a*d - (b - Sqrt[b^2 - 4*a*c])*
e)]*Sqrt[1 - (2*a*(d + e*x))/(2*a*d - (b + Sqrt[b^2 - 4*a*c])*e)]*EllipticPi[(2*
a*d - b*e + Sqrt[b^2 - 4*a*c]*e)/(2*a*d), ArcSin[(Sqrt[2]*Sqrt[a]*Sqrt[d + e*x])
/Sqrt[2*a*d - (b - Sqrt[b^2 - 4*a*c])*e]], (b - Sqrt[b^2 - 4*a*c] - (2*a*d)/e)/(
b + Sqrt[b^2 - 4*a*c] - (2*a*d)/e)])/(Sqrt[2]*Sqrt[a]*d*(c + b*x + a*x^2))

_______________________________________________________________________________________

Rubi in Sympy [F(-1)]  time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  rubi_integrate((a+c/x**2+b/x)**(1/2)*(e*x+d)**(1/2)/x,x)

[Out]

Timed out

_______________________________________________________________________________________

Mathematica [C]  time = 13.1193, size = 4893, normalized size = 5.27 \[ \text{Result too large to show} \]

Antiderivative was successfully verified.

[In]  Integrate[(Sqrt[a + c/x^2 + b/x]*Sqrt[d + e*x])/x,x]

[Out]

-(Sqrt[d + e*x]*Sqrt[a + (c + b*x)/x^2]) + (x*Sqrt[a + (c + b*x)/x^2]*((3*(d + e
*x)^(3/2)*(a + (a*d^2)/(d + e*x)^2 - (b*d*e)/(d + e*x)^2 + (c*e^2)/(d + e*x)^2 -
 (2*a*d)/(d + e*x) + (b*e)/(d + e*x)))/Sqrt[((d + e*x)^2*(a*(-1 + d/(d + e*x))^2
 + (e*(b - (b*d)/(d + e*x) + (c*e)/(d + e*x)))/(d + e*x)))/e^2] - (((3*I)/2)*a*d
^2*(2*a*d - b*e + Sqrt[b^2*e^2 - 4*a*c*e^2])*(d + e*x)*Sqrt[a + (a*d^2)/(d + e*x
)^2 - (b*d*e)/(d + e*x)^2 + (c*e^2)/(d + e*x)^2 - (2*a*d)/(d + e*x) + (b*e)/(d +
 e*x)]*Sqrt[1 - (2*(a*d^2 - b*d*e + c*e^2))/((2*a*d - b*e - Sqrt[b^2*e^2 - 4*a*c
*e^2])*(d + e*x))]*Sqrt[1 - (2*(a*d^2 - b*d*e + c*e^2))/((2*a*d - b*e + Sqrt[b^2
*e^2 - 4*a*c*e^2])*(d + e*x))]*(EllipticE[I*ArcSinh[(Sqrt[2]*Sqrt[-((a*d^2 - b*d
*e + c*e^2)/(2*a*d - b*e - Sqrt[b^2*e^2 - 4*a*c*e^2]))])/Sqrt[d + e*x]], (2*a*d
- b*e - Sqrt[b^2*e^2 - 4*a*c*e^2])/(2*a*d - b*e + Sqrt[b^2*e^2 - 4*a*c*e^2])] -
EllipticF[I*ArcSinh[(Sqrt[2]*Sqrt[-((a*d^2 - b*d*e + c*e^2)/(2*a*d - b*e - Sqrt[
b^2*e^2 - 4*a*c*e^2]))])/Sqrt[d + e*x]], (2*a*d - b*e - Sqrt[b^2*e^2 - 4*a*c*e^2
])/(2*a*d - b*e + Sqrt[b^2*e^2 - 4*a*c*e^2])]))/(Sqrt[2]*(a*d^2 - b*d*e + c*e^2)
*Sqrt[-((a*d^2 - b*d*e + c*e^2)/(2*a*d - b*e - Sqrt[b^2*e^2 - 4*a*c*e^2]))]*Sqrt
[a + (a*d^2 - b*d*e + c*e^2)/(d + e*x)^2 + (-2*a*d + b*e)/(d + e*x)]*Sqrt[((d +
e*x)^2*(a*(-1 + d/(d + e*x))^2 + (e*(b - (b*d)/(d + e*x) + (c*e)/(d + e*x)))/(d
+ e*x)))/e^2]) + (((3*I)/2)*b*d*e*(2*a*d - b*e + Sqrt[b^2*e^2 - 4*a*c*e^2])*(d +
 e*x)*Sqrt[a + (a*d^2)/(d + e*x)^2 - (b*d*e)/(d + e*x)^2 + (c*e^2)/(d + e*x)^2 -
 (2*a*d)/(d + e*x) + (b*e)/(d + e*x)]*Sqrt[1 - (2*(a*d^2 - b*d*e + c*e^2))/((2*a
*d - b*e - Sqrt[b^2*e^2 - 4*a*c*e^2])*(d + e*x))]*Sqrt[1 - (2*(a*d^2 - b*d*e + c
*e^2))/((2*a*d - b*e + Sqrt[b^2*e^2 - 4*a*c*e^2])*(d + e*x))]*(EllipticE[I*ArcSi
nh[(Sqrt[2]*Sqrt[-((a*d^2 - b*d*e + c*e^2)/(2*a*d - b*e - Sqrt[b^2*e^2 - 4*a*c*e
^2]))])/Sqrt[d + e*x]], (2*a*d - b*e - Sqrt[b^2*e^2 - 4*a*c*e^2])/(2*a*d - b*e +
 Sqrt[b^2*e^2 - 4*a*c*e^2])] - EllipticF[I*ArcSinh[(Sqrt[2]*Sqrt[-((a*d^2 - b*d*
e + c*e^2)/(2*a*d - b*e - Sqrt[b^2*e^2 - 4*a*c*e^2]))])/Sqrt[d + e*x]], (2*a*d -
 b*e - Sqrt[b^2*e^2 - 4*a*c*e^2])/(2*a*d - b*e + Sqrt[b^2*e^2 - 4*a*c*e^2])]))/(
Sqrt[2]*(a*d^2 - b*d*e + c*e^2)*Sqrt[-((a*d^2 - b*d*e + c*e^2)/(2*a*d - b*e - Sq
rt[b^2*e^2 - 4*a*c*e^2]))]*Sqrt[a + (a*d^2 - b*d*e + c*e^2)/(d + e*x)^2 + (-2*a*
d + b*e)/(d + e*x)]*Sqrt[((d + e*x)^2*(a*(-1 + d/(d + e*x))^2 + (e*(b - (b*d)/(d
 + e*x) + (c*e)/(d + e*x)))/(d + e*x)))/e^2]) - (((3*I)/2)*c*e^2*(2*a*d - b*e +
Sqrt[b^2*e^2 - 4*a*c*e^2])*(d + e*x)*Sqrt[a + (a*d^2)/(d + e*x)^2 - (b*d*e)/(d +
 e*x)^2 + (c*e^2)/(d + e*x)^2 - (2*a*d)/(d + e*x) + (b*e)/(d + e*x)]*Sqrt[1 - (2
*(a*d^2 - b*d*e + c*e^2))/((2*a*d - b*e - Sqrt[b^2*e^2 - 4*a*c*e^2])*(d + e*x))]
*Sqrt[1 - (2*(a*d^2 - b*d*e + c*e^2))/((2*a*d - b*e + Sqrt[b^2*e^2 - 4*a*c*e^2])
*(d + e*x))]*(EllipticE[I*ArcSinh[(Sqrt[2]*Sqrt[-((a*d^2 - b*d*e + c*e^2)/(2*a*d
 - b*e - Sqrt[b^2*e^2 - 4*a*c*e^2]))])/Sqrt[d + e*x]], (2*a*d - b*e - Sqrt[b^2*e
^2 - 4*a*c*e^2])/(2*a*d - b*e + Sqrt[b^2*e^2 - 4*a*c*e^2])] - EllipticF[I*ArcSin
h[(Sqrt[2]*Sqrt[-((a*d^2 - b*d*e + c*e^2)/(2*a*d - b*e - Sqrt[b^2*e^2 - 4*a*c*e^
2]))])/Sqrt[d + e*x]], (2*a*d - b*e - Sqrt[b^2*e^2 - 4*a*c*e^2])/(2*a*d - b*e +
Sqrt[b^2*e^2 - 4*a*c*e^2])]))/(Sqrt[2]*(a*d^2 - b*d*e + c*e^2)*Sqrt[-((a*d^2 - b
*d*e + c*e^2)/(2*a*d - b*e - Sqrt[b^2*e^2 - 4*a*c*e^2]))]*Sqrt[a + (a*d^2 - b*d*
e + c*e^2)/(d + e*x)^2 + (-2*a*d + b*e)/(d + e*x)]*Sqrt[((d + e*x)^2*(a*(-1 + d/
(d + e*x))^2 + (e*(b - (b*d)/(d + e*x) + (c*e)/(d + e*x)))/(d + e*x)))/e^2]) - (
I*a*d*(d + e*x)*Sqrt[a + (a*d^2)/(d + e*x)^2 - (b*d*e)/(d + e*x)^2 + (c*e^2)/(d
+ e*x)^2 - (2*a*d)/(d + e*x) + (b*e)/(d + e*x)]*Sqrt[1 - (2*(a*d^2 - b*d*e + c*e
^2))/((2*a*d - b*e - Sqrt[b^2*e^2 - 4*a*c*e^2])*(d + e*x))]*Sqrt[1 - (2*(a*d^2 -
 b*d*e + c*e^2))/((2*a*d - b*e + Sqrt[b^2*e^2 - 4*a*c*e^2])*(d + e*x))]*Elliptic
F[I*ArcSinh[(Sqrt[2]*Sqrt[-((a*d^2 - b*d*e + c*e^2)/(2*a*d - b*e - Sqrt[b^2*e^2
- 4*a*c*e^2]))])/Sqrt[d + e*x]], (2*a*d - b*e - Sqrt[b^2*e^2 - 4*a*c*e^2])/(2*a*
d - b*e + Sqrt[b^2*e^2 - 4*a*c*e^2])])/(Sqrt[2]*Sqrt[-((a*d^2 - b*d*e + c*e^2)/(
2*a*d - b*e - Sqrt[b^2*e^2 - 4*a*c*e^2]))]*Sqrt[a + (a*d^2 - b*d*e + c*e^2)/(d +
 e*x)^2 + (-2*a*d + b*e)/(d + e*x)]*Sqrt[((d + e*x)^2*(a*(-1 + d/(d + e*x))^2 +
(e*(b - (b*d)/(d + e*x) + (c*e)/(d + e*x)))/(d + e*x)))/e^2]) + (I*b*e*(d + e*x)
*Sqrt[a + (a*d^2)/(d + e*x)^2 - (b*d*e)/(d + e*x)^2 + (c*e^2)/(d + e*x)^2 - (2*a
*d)/(d + e*x) + (b*e)/(d + e*x)]*Sqrt[1 - (2*(a*d^2 - b*d*e + c*e^2))/((2*a*d -
b*e - Sqrt[b^2*e^2 - 4*a*c*e^2])*(d + e*x))]*Sqrt[1 - (2*(a*d^2 - b*d*e + c*e^2)
)/((2*a*d - b*e + Sqrt[b^2*e^2 - 4*a*c*e^2])*(d + e*x))]*EllipticF[I*ArcSinh[(Sq
rt[2]*Sqrt[-((a*d^2 - b*d*e + c*e^2)/(2*a*d - b*e - Sqrt[b^2*e^2 - 4*a*c*e^2]))]
)/Sqrt[d + e*x]], (2*a*d - b*e - Sqrt[b^2*e^2 - 4*a*c*e^2])/(2*a*d - b*e + Sqrt[
b^2*e^2 - 4*a*c*e^2])])/(Sqrt[2]*Sqrt[-((a*d^2 - b*d*e + c*e^2)/(2*a*d - b*e - S
qrt[b^2*e^2 - 4*a*c*e^2]))]*Sqrt[a + (a*d^2 - b*d*e + c*e^2)/(d + e*x)^2 + (-2*a
*d + b*e)/(d + e*x)]*Sqrt[((d + e*x)^2*(a*(-1 + d/(d + e*x))^2 + (e*(b - (b*d)/(
d + e*x) + (c*e)/(d + e*x)))/(d + e*x)))/e^2]) - (I*c*e^2*(d + e*x)*Sqrt[a + (a*
d^2)/(d + e*x)^2 - (b*d*e)/(d + e*x)^2 + (c*e^2)/(d + e*x)^2 - (2*a*d)/(d + e*x)
 + (b*e)/(d + e*x)]*Sqrt[1 - (2*(a*d^2 - b*d*e + c*e^2))/((2*a*d - b*e - Sqrt[b^
2*e^2 - 4*a*c*e^2])*(d + e*x))]*Sqrt[1 - (2*(a*d^2 - b*d*e + c*e^2))/((2*a*d - b
*e + Sqrt[b^2*e^2 - 4*a*c*e^2])*(d + e*x))]*EllipticF[I*ArcSinh[(Sqrt[2]*Sqrt[-(
(a*d^2 - b*d*e + c*e^2)/(2*a*d - b*e - Sqrt[b^2*e^2 - 4*a*c*e^2]))])/Sqrt[d + e*
x]], (2*a*d - b*e - Sqrt[b^2*e^2 - 4*a*c*e^2])/(2*a*d - b*e + Sqrt[b^2*e^2 - 4*a
*c*e^2])])/(Sqrt[2]*d*Sqrt[-((a*d^2 - b*d*e + c*e^2)/(2*a*d - b*e - Sqrt[b^2*e^2
 - 4*a*c*e^2]))]*Sqrt[a + (a*d^2 - b*d*e + c*e^2)/(d + e*x)^2 + (-2*a*d + b*e)/(
d + e*x)]*Sqrt[((d + e*x)^2*(a*(-1 + d/(d + e*x))^2 + (e*(b - (b*d)/(d + e*x) +
(c*e)/(d + e*x)))/(d + e*x)))/e^2]) + (I*b*e*(d + e*x)*Sqrt[a + (a*d^2)/(d + e*x
)^2 - (b*d*e)/(d + e*x)^2 + (c*e^2)/(d + e*x)^2 - (2*a*d)/(d + e*x) + (b*e)/(d +
 e*x)]*Sqrt[1 - (2*(a*d^2 - b*d*e + c*e^2))/((2*a*d - b*e - Sqrt[b^2*e^2 - 4*a*c
*e^2])*(d + e*x))]*Sqrt[1 - (2*(a*d^2 - b*d*e + c*e^2))/((2*a*d - b*e + Sqrt[b^2
*e^2 - 4*a*c*e^2])*(d + e*x))]*EllipticPi[(d*(2*a*d - b*e - Sqrt[b^2*e^2 - 4*a*c
*e^2]))/(2*(a*d^2 - b*d*e + c*e^2)), I*ArcSinh[(Sqrt[2]*Sqrt[-((a*d^2 - b*d*e +
c*e^2)/(2*a*d - b*e - Sqrt[b^2*e^2 - 4*a*c*e^2]))])/Sqrt[d + e*x]], (2*a*d - b*e
 - Sqrt[b^2*e^2 - 4*a*c*e^2])/(2*a*d - b*e + Sqrt[b^2*e^2 - 4*a*c*e^2])])/(Sqrt[
2]*Sqrt[-((a*d^2 - b*d*e + c*e^2)/(2*a*d - b*e - Sqrt[b^2*e^2 - 4*a*c*e^2]))]*Sq
rt[a + (a*d^2 - b*d*e + c*e^2)/(d + e*x)^2 + (-2*a*d + b*e)/(d + e*x)]*Sqrt[((d
+ e*x)^2*(a*(-1 + d/(d + e*x))^2 + (e*(b - (b*d)/(d + e*x) + (c*e)/(d + e*x)))/(
d + e*x)))/e^2]) + (I*c*e^2*(d + e*x)*Sqrt[a + (a*d^2)/(d + e*x)^2 - (b*d*e)/(d
+ e*x)^2 + (c*e^2)/(d + e*x)^2 - (2*a*d)/(d + e*x) + (b*e)/(d + e*x)]*Sqrt[1 - (
2*(a*d^2 - b*d*e + c*e^2))/((2*a*d - b*e - Sqrt[b^2*e^2 - 4*a*c*e^2])*(d + e*x))
]*Sqrt[1 - (2*(a*d^2 - b*d*e + c*e^2))/((2*a*d - b*e + Sqrt[b^2*e^2 - 4*a*c*e^2]
)*(d + e*x))]*EllipticPi[(d*(2*a*d - b*e - Sqrt[b^2*e^2 - 4*a*c*e^2]))/(2*(a*d^2
 - b*d*e + c*e^2)), I*ArcSinh[(Sqrt[2]*Sqrt[-((a*d^2 - b*d*e + c*e^2)/(2*a*d - b
*e - Sqrt[b^2*e^2 - 4*a*c*e^2]))])/Sqrt[d + e*x]], (2*a*d - b*e - Sqrt[b^2*e^2 -
 4*a*c*e^2])/(2*a*d - b*e + Sqrt[b^2*e^2 - 4*a*c*e^2])])/(Sqrt[2]*d*Sqrt[-((a*d^
2 - b*d*e + c*e^2)/(2*a*d - b*e - Sqrt[b^2*e^2 - 4*a*c*e^2]))]*Sqrt[a + (a*d^2 -
 b*d*e + c*e^2)/(d + e*x)^2 + (-2*a*d + b*e)/(d + e*x)]*Sqrt[((d + e*x)^2*(a*(-1
 + d/(d + e*x))^2 + (e*(b - (b*d)/(d + e*x) + (c*e)/(d + e*x)))/(d + e*x)))/e^2]
)))/(e*Sqrt[c + b*x + a*x^2])

_______________________________________________________________________________________

Maple [B]  time = 0.066, size = 3553, normalized size = 3.8 \[ \text{output too large to display} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  int((a+c/x^2+b/x)^(1/2)*(e*x+d)^(1/2)/x,x)

[Out]

1/2*((a*x^2+b*x+c)/x^2)^(1/2)*(e*x+d)^(1/2)*(2^(1/2)*(-a*(e*x+d)/(e*(-4*a*c+b^2)
^(1/2)-2*a*d+b*e))^(1/2)*(e*(-2*a*x+(-4*a*c+b^2)^(1/2)-b)/(e*(-4*a*c+b^2)^(1/2)+
2*a*d-b*e))^(1/2)*(e*(b+2*a*x+(-4*a*c+b^2)^(1/2))/(e*(-4*a*c+b^2)^(1/2)-2*a*d+b*
e))^(1/2)*EllipticF(2^(1/2)*(-a*(e*x+d)/(e*(-4*a*c+b^2)^(1/2)-2*a*d+b*e))^(1/2),
(-(e*(-4*a*c+b^2)^(1/2)-2*a*d+b*e)/(e*(-4*a*c+b^2)^(1/2)+2*a*d-b*e))^(1/2))*(-4*
a*c+b^2)^(1/2)*x*a*d^2*e-2*2^(1/2)*(-a*(e*x+d)/(e*(-4*a*c+b^2)^(1/2)-2*a*d+b*e))
^(1/2)*(e*(-2*a*x+(-4*a*c+b^2)^(1/2)-b)/(e*(-4*a*c+b^2)^(1/2)+2*a*d-b*e))^(1/2)*
(e*(b+2*a*x+(-4*a*c+b^2)^(1/2))/(e*(-4*a*c+b^2)^(1/2)-2*a*d+b*e))^(1/2)*Elliptic
F(2^(1/2)*(-a*(e*x+d)/(e*(-4*a*c+b^2)^(1/2)-2*a*d+b*e))^(1/2),(-(e*(-4*a*c+b^2)^
(1/2)-2*a*d+b*e)/(e*(-4*a*c+b^2)^(1/2)+2*a*d-b*e))^(1/2))*(-4*a*c+b^2)^(1/2)*x*b
*d*e^2+4*2^(1/2)*(-a*(e*x+d)/(e*(-4*a*c+b^2)^(1/2)-2*a*d+b*e))^(1/2)*(e*(-2*a*x+
(-4*a*c+b^2)^(1/2)-b)/(e*(-4*a*c+b^2)^(1/2)+2*a*d-b*e))^(1/2)*(e*(b+2*a*x+(-4*a*
c+b^2)^(1/2))/(e*(-4*a*c+b^2)^(1/2)-2*a*d+b*e))^(1/2)*EllipticF(2^(1/2)*(-a*(e*x
+d)/(e*(-4*a*c+b^2)^(1/2)-2*a*d+b*e))^(1/2),(-(e*(-4*a*c+b^2)^(1/2)-2*a*d+b*e)/(
e*(-4*a*c+b^2)^(1/2)+2*a*d-b*e))^(1/2))*x*a^2*d^3-2^(1/2)*(-a*(e*x+d)/(e*(-4*a*c
+b^2)^(1/2)-2*a*d+b*e))^(1/2)*(e*(-2*a*x+(-4*a*c+b^2)^(1/2)-b)/(e*(-4*a*c+b^2)^(
1/2)+2*a*d-b*e))^(1/2)*(e*(b+2*a*x+(-4*a*c+b^2)^(1/2))/(e*(-4*a*c+b^2)^(1/2)-2*a
*d+b*e))^(1/2)*EllipticF(2^(1/2)*(-a*(e*x+d)/(e*(-4*a*c+b^2)^(1/2)-2*a*d+b*e))^(
1/2),(-(e*(-4*a*c+b^2)^(1/2)-2*a*d+b*e)/(e*(-4*a*c+b^2)^(1/2)+2*a*d-b*e))^(1/2))
*x*a*b*d^2*e+6*2^(1/2)*(-a*(e*x+d)/(e*(-4*a*c+b^2)^(1/2)-2*a*d+b*e))^(1/2)*(e*(-
2*a*x+(-4*a*c+b^2)^(1/2)-b)/(e*(-4*a*c+b^2)^(1/2)+2*a*d-b*e))^(1/2)*(e*(b+2*a*x+
(-4*a*c+b^2)^(1/2))/(e*(-4*a*c+b^2)^(1/2)-2*a*d+b*e))^(1/2)*EllipticF(2^(1/2)*(-
a*(e*x+d)/(e*(-4*a*c+b^2)^(1/2)-2*a*d+b*e))^(1/2),(-(e*(-4*a*c+b^2)^(1/2)-2*a*d+
b*e)/(e*(-4*a*c+b^2)^(1/2)+2*a*d-b*e))^(1/2))*x*a*c*d*e^2-2*2^(1/2)*(-a*(e*x+d)/
(e*(-4*a*c+b^2)^(1/2)-2*a*d+b*e))^(1/2)*(e*(-2*a*x+(-4*a*c+b^2)^(1/2)-b)/(e*(-4*
a*c+b^2)^(1/2)+2*a*d-b*e))^(1/2)*(e*(b+2*a*x+(-4*a*c+b^2)^(1/2))/(e*(-4*a*c+b^2)
^(1/2)-2*a*d+b*e))^(1/2)*EllipticF(2^(1/2)*(-a*(e*x+d)/(e*(-4*a*c+b^2)^(1/2)-2*a
*d+b*e))^(1/2),(-(e*(-4*a*c+b^2)^(1/2)-2*a*d+b*e)/(e*(-4*a*c+b^2)^(1/2)+2*a*d-b*
e))^(1/2))*x*b^2*d*e^2-6*2^(1/2)*(-a*(e*x+d)/(e*(-4*a*c+b^2)^(1/2)-2*a*d+b*e))^(
1/2)*(e*(-2*a*x+(-4*a*c+b^2)^(1/2)-b)/(e*(-4*a*c+b^2)^(1/2)+2*a*d-b*e))^(1/2)*(e
*(b+2*a*x+(-4*a*c+b^2)^(1/2))/(e*(-4*a*c+b^2)^(1/2)-2*a*d+b*e))^(1/2)*EllipticE(
2^(1/2)*(-a*(e*x+d)/(e*(-4*a*c+b^2)^(1/2)-2*a*d+b*e))^(1/2),(-(e*(-4*a*c+b^2)^(1
/2)-2*a*d+b*e)/(e*(-4*a*c+b^2)^(1/2)+2*a*d-b*e))^(1/2))*x*a^2*d^3+6*2^(1/2)*(-a*
(e*x+d)/(e*(-4*a*c+b^2)^(1/2)-2*a*d+b*e))^(1/2)*(e*(-2*a*x+(-4*a*c+b^2)^(1/2)-b)
/(e*(-4*a*c+b^2)^(1/2)+2*a*d-b*e))^(1/2)*(e*(b+2*a*x+(-4*a*c+b^2)^(1/2))/(e*(-4*
a*c+b^2)^(1/2)-2*a*d+b*e))^(1/2)*EllipticE(2^(1/2)*(-a*(e*x+d)/(e*(-4*a*c+b^2)^(
1/2)-2*a*d+b*e))^(1/2),(-(e*(-4*a*c+b^2)^(1/2)-2*a*d+b*e)/(e*(-4*a*c+b^2)^(1/2)+
2*a*d-b*e))^(1/2))*x*a*b*d^2*e-6*2^(1/2)*(-a*(e*x+d)/(e*(-4*a*c+b^2)^(1/2)-2*a*d
+b*e))^(1/2)*(e*(-2*a*x+(-4*a*c+b^2)^(1/2)-b)/(e*(-4*a*c+b^2)^(1/2)+2*a*d-b*e))^
(1/2)*(e*(b+2*a*x+(-4*a*c+b^2)^(1/2))/(e*(-4*a*c+b^2)^(1/2)-2*a*d+b*e))^(1/2)*El
lipticE(2^(1/2)*(-a*(e*x+d)/(e*(-4*a*c+b^2)^(1/2)-2*a*d+b*e))^(1/2),(-(e*(-4*a*c
+b^2)^(1/2)-2*a*d+b*e)/(e*(-4*a*c+b^2)^(1/2)+2*a*d-b*e))^(1/2))*x*a*c*d*e^2+2^(1
/2)*(-a*(e*x+d)/(e*(-4*a*c+b^2)^(1/2)-2*a*d+b*e))^(1/2)*(e*(-2*a*x+(-4*a*c+b^2)^
(1/2)-b)/(e*(-4*a*c+b^2)^(1/2)+2*a*d-b*e))^(1/2)*(e*(b+2*a*x+(-4*a*c+b^2)^(1/2))
/(e*(-4*a*c+b^2)^(1/2)-2*a*d+b*e))^(1/2)*EllipticPi(2^(1/2)*(-a*(e*x+d)/(e*(-4*a
*c+b^2)^(1/2)-2*a*d+b*e))^(1/2),-1/2*(e*(-4*a*c+b^2)^(1/2)-2*a*d+b*e)/a/d,(-(e*(
-4*a*c+b^2)^(1/2)-2*a*d+b*e)/(e*(-4*a*c+b^2)^(1/2)+2*a*d-b*e))^(1/2))*(-4*a*c+b^
2)^(1/2)*x*b*d*e^2+2^(1/2)*(-a*(e*x+d)/(e*(-4*a*c+b^2)^(1/2)-2*a*d+b*e))^(1/2)*(
e*(-2*a*x+(-4*a*c+b^2)^(1/2)-b)/(e*(-4*a*c+b^2)^(1/2)+2*a*d-b*e))^(1/2)*(e*(b+2*
a*x+(-4*a*c+b^2)^(1/2))/(e*(-4*a*c+b^2)^(1/2)-2*a*d+b*e))^(1/2)*EllipticPi(2^(1/
2)*(-a*(e*x+d)/(e*(-4*a*c+b^2)^(1/2)-2*a*d+b*e))^(1/2),-1/2*(e*(-4*a*c+b^2)^(1/2
)-2*a*d+b*e)/a/d,(-(e*(-4*a*c+b^2)^(1/2)-2*a*d+b*e)/(e*(-4*a*c+b^2)^(1/2)+2*a*d-
b*e))^(1/2))*(-4*a*c+b^2)^(1/2)*x*c*e^3-2*2^(1/2)*(-a*(e*x+d)/(e*(-4*a*c+b^2)^(1
/2)-2*a*d+b*e))^(1/2)*(e*(-2*a*x+(-4*a*c+b^2)^(1/2)-b)/(e*(-4*a*c+b^2)^(1/2)+2*a
*d-b*e))^(1/2)*(e*(b+2*a*x+(-4*a*c+b^2)^(1/2))/(e*(-4*a*c+b^2)^(1/2)-2*a*d+b*e))
^(1/2)*EllipticPi(2^(1/2)*(-a*(e*x+d)/(e*(-4*a*c+b^2)^(1/2)-2*a*d+b*e))^(1/2),-1
/2*(e*(-4*a*c+b^2)^(1/2)-2*a*d+b*e)/a/d,(-(e*(-4*a*c+b^2)^(1/2)-2*a*d+b*e)/(e*(-
4*a*c+b^2)^(1/2)+2*a*d-b*e))^(1/2))*x*a*b*d^2*e-2*2^(1/2)*(-a*(e*x+d)/(e*(-4*a*c
+b^2)^(1/2)-2*a*d+b*e))^(1/2)*(e*(-2*a*x+(-4*a*c+b^2)^(1/2)-b)/(e*(-4*a*c+b^2)^(
1/2)+2*a*d-b*e))^(1/2)*(e*(b+2*a*x+(-4*a*c+b^2)^(1/2))/(e*(-4*a*c+b^2)^(1/2)-2*a
*d+b*e))^(1/2)*EllipticPi(2^(1/2)*(-a*(e*x+d)/(e*(-4*a*c+b^2)^(1/2)-2*a*d+b*e))^
(1/2),-1/2*(e*(-4*a*c+b^2)^(1/2)-2*a*d+b*e)/a/d,(-(e*(-4*a*c+b^2)^(1/2)-2*a*d+b*
e)/(e*(-4*a*c+b^2)^(1/2)+2*a*d-b*e))^(1/2))*x*a*c*d*e^2+2^(1/2)*(-a*(e*x+d)/(e*(
-4*a*c+b^2)^(1/2)-2*a*d+b*e))^(1/2)*(e*(-2*a*x+(-4*a*c+b^2)^(1/2)-b)/(e*(-4*a*c+
b^2)^(1/2)+2*a*d-b*e))^(1/2)*(e*(b+2*a*x+(-4*a*c+b^2)^(1/2))/(e*(-4*a*c+b^2)^(1/
2)-2*a*d+b*e))^(1/2)*EllipticPi(2^(1/2)*(-a*(e*x+d)/(e*(-4*a*c+b^2)^(1/2)-2*a*d+
b*e))^(1/2),-1/2*(e*(-4*a*c+b^2)^(1/2)-2*a*d+b*e)/a/d,(-(e*(-4*a*c+b^2)^(1/2)-2*
a*d+b*e)/(e*(-4*a*c+b^2)^(1/2)+2*a*d-b*e))^(1/2))*x*b^2*d*e^2+2^(1/2)*(-a*(e*x+d
)/(e*(-4*a*c+b^2)^(1/2)-2*a*d+b*e))^(1/2)*(e*(-2*a*x+(-4*a*c+b^2)^(1/2)-b)/(e*(-
4*a*c+b^2)^(1/2)+2*a*d-b*e))^(1/2)*(e*(b+2*a*x+(-4*a*c+b^2)^(1/2))/(e*(-4*a*c+b^
2)^(1/2)-2*a*d+b*e))^(1/2)*EllipticPi(2^(1/2)*(-a*(e*x+d)/(e*(-4*a*c+b^2)^(1/2)-
2*a*d+b*e))^(1/2),-1/2*(e*(-4*a*c+b^2)^(1/2)-2*a*d+b*e)/a/d,(-(e*(-4*a*c+b^2)^(1
/2)-2*a*d+b*e)/(e*(-4*a*c+b^2)^(1/2)+2*a*d-b*e))^(1/2))*x*b*c*e^3-2*x^3*a^2*d*e^
2-2*x^2*a^2*d^2*e-2*x^2*a*b*d*e^2-2*x*a*b*d^2*e-2*a*c*d*e^2*x-2*a*c*d^2*e)/(a*e*
x^3+a*d*x^2+b*e*x^2+b*d*x+c*e*x+c*d)/a/e/d

_______________________________________________________________________________________

Maxima [F]  time = 0., size = 0, normalized size = 0. \[ \int \frac{\sqrt{e x + d} \sqrt{a + \frac{b}{x} + \frac{c}{x^{2}}}}{x}\,{d x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate(sqrt(e*x + d)*sqrt(a + b/x + c/x^2)/x,x, algorithm="maxima")

[Out]

integrate(sqrt(e*x + d)*sqrt(a + b/x + c/x^2)/x, x)

_______________________________________________________________________________________

Fricas [F(-1)]  time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate(sqrt(e*x + d)*sqrt(a + b/x + c/x^2)/x,x, algorithm="fricas")

[Out]

Timed out

_______________________________________________________________________________________

Sympy [F]  time = 0., size = 0, normalized size = 0. \[ \int \frac{\sqrt{d + e x} \sqrt{a + \frac{b}{x} + \frac{c}{x^{2}}}}{x}\, dx \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((a+c/x**2+b/x)**(1/2)*(e*x+d)**(1/2)/x,x)

[Out]

Integral(sqrt(d + e*x)*sqrt(a + b/x + c/x**2)/x, x)

_______________________________________________________________________________________

GIAC/XCAS [F(-1)]  time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate(sqrt(e*x + d)*sqrt(a + b/x + c/x^2)/x,x, algorithm="giac")

[Out]

Timed out